Type rule - PDFSEARCH.IO - Document Search Engine

Type rule
Results: 194

#	Item
21	Lightweight Monadic Programming in ML Nikhil Swamy⋆ ⋆ Nataliya Guts† Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2011-06-30 10:53:02 Mathematics Computer programming Type theory Monad Admissible rule Type class Valuation Denotational semantics Adjoint functors Functional programming Software engineering
22	HIGH POWER RIFLE Rule changes effective 2014 Rule 9.14(c) - Refiring - No competitor will be allowed more than one refire per stage regardless of malfunction type. RuleEmpty Chamber Indicators - The use of an emp Add to Reading List Source URL: competitions.nra.org Language: English - Date: 2014-03-25 13:48:05 Prone position Rifle Biology Behavior Shooting sports High Power Rifle Human behavior
23	Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Software engineering Unification Type system Admissible rule Type inference Symbol Hindley–Milner Entailment Function Type theory Logic Mathematics
24	Estimating a Taylor-type monetary policy reaction function for the case of a small developing economy José R. Sánchez-Fung 1 February 2000 Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2001-01-17 19:04:32 Money Taylor rule Inflation Monetary economics Monetary inflation Macroeconomic model Interest Interaction between monetary and fiscal policies Phillips curve Macroeconomics Monetary policy Economics
25	Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces Martin Elsman1 and Anders Schack-Nielsen2 1 University of Copenhagen, Universitetsparken 5, DK-2100 Copenhagen, Denmark Add to Reading List Source URL: hiperfit.dk Language: English Type theory Procedural programming languages Cross-platform software C++ Data types Type system Monad C++ classes Constructor Software engineering Computing Computer programming
26	A. Abdul-Rahman et al. / Rule-based Visual Mappings – with a Case Study on Poetry Visualization Variables Latin alphabet Latin alphabet type Word class Word sentiment Add to Reading List Source URL: ovii.oerc.ox.ac.uk Language: English - Date: 2014-06-13 15:47:02 Phonology Phonaesthetics Rhyme International Phonetic Alphabet Syllable Poetry Tie Phonetic transcription IPA vowels chart with audio Linguistics Phonetics Vowels
27	FAMILY BUSINESS RULE BOOK IN AUSTRALIA, FAMILY BUSINESSES OF ALL SIZES AND TYPE DOMINATE THE PRIVATE SECTOR. ACCORDING Add to Reading List Source URL: www.bdo.com.au Language: English - Date: 2010-11-09 00:34:15 English law BDO International Succession planning United Kingdom company law Financial planner Business Management Family business
28	HOL Formalised: Language and Overview R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-27 11:48:02 Formal languages Formal systems Logic in computer science Type theory HOL First-order logic Rule of inference Interpretation Axiom Logic Mathematical logic Model theory
29	U.S. Coast Guard Ballast Water Discharge Standard Final Rule Regulatory Update Presented at ANSTF Fall Meeting, November 2014 Add to Reading List Source URL: www.anstaskforce.gov Language: English - Date: 2014-11-18 07:29:17 Type approval Title 46 of the Code of Federal Regulations United States Coast Guard Transport Public administration Regulation of ship pollution in the United States Environment Sector Commander United States maritime law Product certification Code of Federal Regulations
30	MALDIVES CIVIL AVIATION AUTHORITY REPUBLIC OF MALDIVES NOTICE OF PROPOSED RULE MAKING NPRM NO: [removed] Add to Reading List Source URL: www.aviainfo.gov.mv Language: English - Date: 2014-12-01 03:05:18 Type certificate Civil Aviation Authority of the Fiji Islands United States administrative law Notice of proposed rulemaking Airworthiness